<?php
function makeMigration($filename) {
 $data = "";
 $file = file_get_contents($filename);
 $lines = explode("\n",$file);
 foreach ($lines as $line) {
   $data .= "execute \"$line\"\n";
 }
 file_put_contents("$filename.txt",$data);
}

makeMigration($argv[1]);

print "\n";
?>
